Millstein, Todd D.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Expressive and modular predicate dispatch for Java

Millstein, Todd, Frost, Christopher, Ryder, Jason, Warth, Alessandro

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 1.11 MB

english, 2009

2

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Automated repair of HTML generation errors in PHP applications using string constraint solving

Samimi, Hesam, Schafer, Max, Artzi, Shay, Millstein, Todd, Tip, Frank, Hendren, Laurie

Year:

2012

Language:

english

File:

PDF, 464 KB

english, 2012

3

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - A case for an SC-preserving compiler

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish

Year:

2011

Language:

english

File:

PDF, 575 KB

english, 2011

4

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - Refactoring towards the good parts of javascript

Feldthaus, Asger, Millstein, Todd, Møller, Anders, Schäfer, Max, Tip, Frank

Year:

2011

Language:

english

File:

PDF, 363 KB

english, 2011

5

DRFX

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 539 KB

english, 2010

6

Adding data provenance support to Apache Spark

Interlandi, Matteo, Ekmekji, Ari, Shah, Kshitij, Gulzar, Muhammad Ali, Tetali, Sai Deep, Kim, Miryung, Millstein, Todd, Condie, Tyson

Journal:

The VLDB Journal

Year:

2017

Language:

english

File:

PDF, 2.09 MB

english, 2017

7

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations

Sorin Lerner, Todd Millstein, Craig Chambers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

8

Generating error traces from verification-condition counterexamples

K. Rustan M. Leino, Todd Millstein, James B. Saxe

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

9

Query containment for data integration systems

Todd Millstein, Alon Halevy, Marc Friedman

Journal:

Journal of Computer and System Sciences

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

10

[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Automatic predicate abstraction of C programs

Ball, Thomas, Majumdar, Rupak, Millstein, Todd, Rajamani, Sriram K.

Year:

2001

Language:

english

File:

PDF, 1.35 MB

english, 2001

11

Modular Statically Typed Multimethods

Todd Millstein, Craig Chambers

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 562 KB

english, 2002

12

Bounded similarity querying for time-series data

Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 550 KB

english, 2004

13

[ACM Press the second ACM workshop - Raleigh, North Carolina, USA (2012.10.19-2012.10.19)] Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices - SPSM '12 - Dr. Android and Mr. Hide

Jeon, Jinseong, Micinski, Kristopher K., Vaughan, Jeffrey A., Fogel, Ari, Reddy, Nikhilesh, Foster, Jeffrey S., Millstein, Todd

Year:

2012

Language:

english

File:

PDF, 858 KB

english, 2012

14

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - MrCrypt

Tetali, Sai Deep, Lesani, Mohsen, Majumdar, Rupak, Millstein, Todd

Year:

2013

Language:

english

File:

PDF, 776 KB

english, 2013

15

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Semantic type qualifiers

Chin, Brian, Markstrum, Shane, Millstein, Todd

Year:

2005

Language:

english

File:

PDF, 137 KB

english, 2005

16

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Tool-supported refactoring for JavaScript

Feldthaus, Asger, Millstein, Todd, Møller, Anders, Schäfer, Max, Tip, Frank

Year:

2011

Language:

english

File:

PDF, 734 KB

english, 2011

17

[IEEE 2012 ACM/IEEE 39th International Symposium on Computer Architecture (ISCA) - Portland, OR, USA (2012.06.9-2012.06.13)] 2012 39th Annual International Symposium on Computer Architecture (ISCA) - End-to-end sequential consistency

Singh, Abhayendra, Narayanasamy, Satish, Marino, Daniel, Millstein, Todd, Musuvathi, Madanlal

Year:

2012

Language:

english

File:

PDF, 417 KB

english, 2012

18

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - RERAN: Timing- and touch-sensitive record and replay for Android

Gomez, Lorenzo, Neamtiu, Iulian, Azim, Tanzirul, Millstein, Todd

Year:

2013

Language:

english

File:

PDF, 1.19 MB

english, 2013

19

[ACM Press the 6th international conference - Vancouver, British Columbia, Canada (2007.03.12-2007.03.16)] Proceedings of the 6th international conference on Aspect-oriented software development - AOSD '07 - Declarative failure recovery for sensor networks

Gummadi, Ramakrishna, Kothari, Nupur, Millstein, Todd, Govindan, Ramesh

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

20

A Safety-First Approach to Memory Models

Singh, Abhayendra, Narayanasamy, Satish, Marino, Daniel, Millstein, Todd, Musuvathi, Madanlal

Journal:

Year:

2013

Language:

english

File:

PDF, 512 KB

english, 2013

21

[IEEE 2008 7th International Conference on Information Processing in Sensor Networks (IPSN) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008) - Deriving State Machines from TinyOS Programs Using Symbolic Execution

Kothari, Nupur, Millstein, Todd, Govindan, Ramesh

Year:

2008

Language:

english

File:

PDF, 239 KB

english, 2008

22

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - A framework for implementing pluggable type systems

Andreae, Chris, Noble, James, Markstrum, Shane, Millstein, Todd

Year:

2006

Language:

english

File:

PDF, 287 KB

english, 2006

23

Automatic predicate abstraction of C programs

Ball, Thomas, Majumdar, Rupak, Millstein, Todd, Rajamani, Sriram K.

Journal:

ACM SIGPLAN Notices

Year:

2012

File:

PDF, 4.86 MB

2012

24

[ACM Press the 19th annual ACM SIGPLAN Conference - Vancouver, BC, Canada (2004.10.24-2004.10.28)] Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04 - Practical predicate dispatch

Millstein, Todd

Year:

2004

Language:

english

File:

PDF, 188 KB

english, 2004

25

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Statically scoped object adaptation with expanders

Warth, Alessandro, Stanojević, Milan, Millstein, Todd

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

26

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Young guns/object orientation

Overbey, Jeffrey, Potanin, Alex, Vaziri, Mandana, Foote, Brian, Adamczyk, Paul, Aldrich, Jonathan, Baniassad, Elisa, Grothoff, Christian, Krishna, Arvind, McDirmid, Sean, Millstein, Todd

Year:

2006

Language:

english

File:

PDF, 47 KB

english, 2006

27

JavaCOP

Markstrum, Shane, Marino, Daniel, Esquivel, Matthew, Millstein, Todd, Andreae, Chris, Noble, James

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 434 KB

english, 2010

28

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - DRFX

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish

Year:

2010

Language:

english

File:

PDF, 539 KB

english, 2010

29

[ACM Press the 18th ACM SIGPLAN conference - Anaheim, California, USA (2003.10.26-2003.10.30)] Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03 - Relaxed MultiJava

Millstein, Todd, Reay, Mark, Chambers, Craig

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

30

Towards concurrency refactoring for x10

Markstrum, Shane A., Fuhrer, Robert M., Millstein, Todd D.

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

31

Semantic type qualifiers

Chin, Brian, Markstrum, Shane, Millstein, Todd

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 137 KB

english, 2005

32

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Reliable and efficient programming abstractions for wireless sensor networks

Kothari, Nupur, Gummadi, Ramakrishna, Millstein, Todd, Govindan, Ramesh

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

33

Efficient processor support for DRFx, a memory model with exceptions

Singh, Abhayendra, Marino, Daniel, Narayanasamy, Satish, Millstein, Todd, Musuvathi, Madan

Journal:

ACM SIGARCH Computer Architecture News

Year:

2011

Language:

english

File:

PDF, 676 KB

english, 2011

34

A case for an SC-preserving compiler

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 575 KB

english, 2011

35

Relaxed MultiJava

Millstein, Todd, Reay, Mark, Chambers, Craig

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

36

[ACM Press the 2014 ACM International Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software - Onward! '14 - Call by Meaning

Samimi, Hesam, Deaton, Chris, Ohshima, Yoshiki, Warth, Alessandro, Millstein, Todd

Year:

2014

Language:

english

File:

PDF, 875 KB

english, 2014

37

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Packrat parsers can support left recursion

Warth, Alessandro, Douglass, James R., Millstein, Todd

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

38

[ACM Press the 14th ACM SIGPLAN symposium - Raleigh, NC, USA (2009.02.14-2009.02.18)] Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09 - Towards concurrency refactoring for x10

Markstrum, Shane A., Fuhrer, Robert M., Millstein, Todd D.

Year:

2008

Language:

english

File:

PDF, 319 KB

english, 2008

39

[ACM Press the ACM SIGCOMM 2011 conference - Toronto, Ontario, Canada (2011.08.15-2011.08.19)] Proceedings of the ACM SIGCOMM 2011 conference on SIGCOMM - SIGCOMM '11 - Finding protocol manipulation attacks

Kothari, Nupur, Mahajan, Ratul, Millstein, Todd, Govindan, Ramesh, Musuvathi, Madanlal

Year:

2011

Language:

english

File:

PDF, 1.42 MB

english, 2011

40

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Declarative mocking

Samimi, Hesam, Hicks, Rebecca, Fogel, Ari, Millstein, Todd

Year:

2013

Language:

english

File:

PDF, 404 KB

english, 2013

41

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - Multiple dispatch as dispatch on Tuples

Leavens, Gary T., Millstein, Todd D.

Year:

1998

Language:

english

File:

PDF, 1.43 MB

english, 1998

42

Polymorphic predicate abstraction

Ball, Thomas, Millstein, Todd, Rajamani, Sriram K.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 311 KB

english, 2005

43

[ACM Press the 7th ACM SIGPLAN-SIGSOFT workshop - San Diego, California, USA (2007.06.13-2007.06.14)] Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 - Enforcing and validating user-defined programming disciplines

Chin, Brian, Marino, Daniel, Markstrum, Shane, Millstein, Todd

Year:

2007

Language:

english

File:

PDF, 76 KB

english, 2007

44

[ACM Press the 15th ACM SIGPLAN conference - Minneapolis, Minnesota, United States (2000..-..)] Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '00 - MultiJava

Clifton, Curtis, Leavens, Gary T., Chambers, Craig, Millstein, Todd

Year:

2000

Language:

english

File:

PDF, 192 KB

english, 2000

45

MultiJava

Clifton, Curtis, Millstein, Todd, Leavens, Gary T., Chambers, Craig

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2006

Language:

english

File:

PDF, 1.09 MB

english, 2006

46

[ACM Press the sixteenth international conference - Newport Beach, California, USA (2011.03.05-2011.03.11)] Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11 - Efficient processor support for DRFx, a memory model with exceptions

Singh, Abhayendra, Marino, Daniel, Narayanasamy, Satish, Millstein, Todd, Musuvathi, Madan

Year:

2011

Language:

english

File:

PDF, 676 KB

english, 2011

47

[ACM Press the twentieth ACM symposium - Brighton, United Kingdom (2005.10.23-2005.10.26)] Proceedings of the twentieth ACM symposium on Operating systems principles - SOSP '05 - Kairos

Gummadi, Ramakrishna, Kothari, Nupur, Govindan, Ramesh, Millstein, Todd

Year:

2005

Language:

english

File:

PDF, 356 KB

english, 2005

48

[ACM Press the nineteenth ACM SIGMOD-SIGACT-SIGART symposium - Dallas, Texas, United States (2000.05.15-2000.05.18)] Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00 - Query containment for data integration systems

Millstein, Todd, Levy, Alon, Friedman, Marc

Year:

2000

Language:

english

File:

PDF, 228 KB

english, 2000

49

[IEEE 2012 IEEE 25th Computer Security Foundations Symposium (CSF) - Cambridge, MA, USA (2012.06.25-2012.06.27)] 2012 IEEE 25th Computer Security Foundations Symposium - Secure Information Flow for Concurrent Programs under Total Store Order

Vaughan, Jeffrey A., Millstein, Todd

Year:

2012

Language:

english

File:

PDF, 413 KB

english, 2012

50

Finding protocol manipulation attacks

Kothari, Nupur, Mahajan, Ratul, Millstein, Todd, Govindan, Ramesh, Musuvathi, Madanlal

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2011

Language:

english

File:

PDF, 1.42 MB

english, 2011